$\vdash$  $\forall$$a$, $b$:$\mathbb{Z}$. ({-}imax($a$;$b$)) = imin({-}$a$;{-}$b$)